The generic model query language GMQL – Conceptual specification,implementation, and runtime evaluation

The generic model query language GMQL is designed to query collections of conceptual models created in arbitrary graph-based modelling languages. Querying conceptual models means searching for particular model subgraphs that comply with a predefined pattern query. Such a query specifies the structural and semantic properties of the model fragment to be returned. In this paper, we derive requirements for a generic model query language from the literature and formally specify the language’s syntax and semantics. We conduct an analysis of GMQL׳s theoretical and practical runtime performance concluding that it returns query results within satisfactory time. Given its generic nature, GMQL contributes to a broad range of different model analysis scenarios ranging from business process compliance management to model translation and business process weakness detection. As GMQL returns results with acceptable runtime performance, it can be used to query large collections of hundreds or thousands of conceptual models containing not only process models, but also data models or organizational charts. In this paper, we furthermore evaluate GMQL against the backdrop of existing query approaches thereby carving out its advantages and limitations as well as pointing toward future research.     

基于视觉暗示的战争纪念建筑设计手法探究

当代建筑中，视觉暗示的设计手法对纪念建筑的营造有着至关重要的作用。现试图从建筑学的视角出发，以当代战争纪念建筑实际案例为研究对象，对战争纪念建筑的设计方法展开讨论。首先着重分析视觉暗示与格式塔心理学的关系，其次阐述视觉暗示给参观者心理带来的微妙变化，之后探讨视觉暗示对空间纪念效果造成的影响，最终归纳为可操作的设计策略：图形暗示、内容暗示、秩序暗示，并明确其如何相互影响。立足于格式塔心理学及心理暗示的理论基础，是对纪念建筑设计方法的补充，亦可为今后的战争纪念馆设计提供启示。     

贝叶斯网络查询语义扩展的专家发现方法

专家发现是实体检索领域的一个研究热点，针对经典专家发现模型存在索引术语独立性假设与检索性能低的缺陷，提出一种基于贝叶斯网络模型的专家发现方法。该方法模型采用四层网络结构，能够实现图形化的概率推理，同时运用词向量技术能够实现查询术语的语义扩展。实验结果显示该模型在多个评价指标上均优于经典专家发现模型，能够有效实现查询术语语义扩展，提高专家检索性能。     

面向连续查询的敏感语义位置隐私保护方案

针对连续查询位置服务中构造匿名区域未考虑语义位置信息导致敏感隐私泄露问题，通过设计[(K,θ)]-隐私模型，提出一种路网环境下面向连续查询的敏感语义位置隐私保护方案。该方案利用Voronoi图将城市路网预先划分为独立的Voronoi单元，依据用户的移动路径和移动速度，选择具有相似特性的其他[K-1]个用户，构建匿名用户集；利用匿名用户集用户设定的敏感语义位置类型和语义安全阈值，以及用户所处语义位置的Voronoi单元，构建满足[(K,θ)]-隐私模型的语义安全匿名区域，可以同时防止连续查询追踪攻击和语义推断攻击。实验结果表明，与SCPA算法相比，该方案在隐私保护程度上提升约15%，系统开销上降低约20%。     

On auto- and cross-interdependence in interval field finite element analysis

This paper discusses the concepts of auto- and cross-interdependence in interval field finite element analysis. In classic interval analysis, independent intervals are used to construct hyper-rectangular input spaces that correspond to the bounded uncertainty that is present on some model parameters. This is a direct result from the inability of modeling interdependence. Such assumption of complete independence might prove in some cases to be highly over-conservative. A first example is the modeling of spatial uncertainty, where the interdependence is governed by allowable spatial gradients of field realizations. Secondly, interdependence can also occur in case uncertainty in several structural quantities has the same root cause (eg, the manufacturing process). Recent work by the authors introduced concepts for modeling dependence between intervals in a spatial and multivariate context. However, it is unclear how an analyst has to deal with multiple quantities that have a spatial uncertainty component and are furthermore interdependent. This paper presents an approach to link multiple interval fields using recently introduced convex hull pair constructions and inverse distance weighting interpolation. Two case studies to illustrate the new methodology are included, proving the flexibility of the methodology in the modeling of auto- and cross-interdependence between multiple interval scalars and/or interval fields.     

基于高分一号遥感卫星的渤海湾悬浮泥沙时空分布反演

悬浮泥沙是评价II类水体水质的重要参数之一,近海岸水域悬浮泥沙对重金属、营养盐等具有一定的吸附作用,悬浮泥沙的分布特征在一定程度上反映着污染物的迁移和循环,因此研究悬浮泥沙对渤海湾建设和环境保护具有重要意义。为探究渤海湾水域悬浮泥沙浓度 和分布的变化特征,利用高分一号多光谱卫星影像,通过采用波段组合的方式对悬浮泥沙含量指数反演提取,反演得到2019年9个月的渤海湾悬浮泥沙指数,分析发现渤海湾悬浮泥沙含量在冬季受季风影响较高,春季和夏季的时候渤海湾高浓度悬浮泥沙向近岸收缩,秋季 悬浮泥沙分布格局有正在向冬季过渡的趋势,本文研究可为渤海湾的生态环境保护和工业开发提供重要的科学依据和参考价值。     

High-roubustness keystroke recognition method based on acoustic spatial gradient

For the fluctuation of CFCC caused by environmental noise is the main reason for the low accuracy of keystroke detection,the spatial characteristics of adjacent between CFCC were studied,and the spatial gradient structure of CFCC based on points was established.On this basis,the effect of CFCC spatial gradient on keystroke content recognition and the selection of precise neighborhood points were studied on training and testing.Finally,a high-robustness keystroke recognition algorithm based on acoustic signals was constructed.Extensive experiments in different environments demonstrate that the proposed CFCC spatial gradient sound feature achieves great performance and the recognition accuracy is 96.15%.     

Ion mobility mass spectrometry in the omics era: Challenges and opportunities for metabolomics and lipidomics

Researchers worldwide are taking advantage of novel, commercially available, technologies, such as ion mobility mass spectrometry (IM-MS), for metabolomics and lipidomics applications in a variety of fields including life, biomedical, and food sciences. IM-MS provides three main technical advantages over traditional LC-MS workflows. Firstly, in addition to mass, IM-MS allows collision cross-section values to be measured for metabolites and lipids, a physicochemical identifier related to the chemical shape of an analyte that increases the confidence of identification. Second, IM-MS increases peak capacity and the signal-to-noise, improving fingerprinting as well as quantification, and better defining the spatial localization of metabolites and lipids in biological and food samples. Third, IM-MS can be coupled with various fragmentation modes, adding new tools to improve structural characterization and molecular annotation. Here, we review the state-of-the-art in IM-MS technologies and approaches utilized to support metabolomics and lipidomics applications and we assess the challenges and opportunities in this growing field.